]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 40bd65c) | patch
st: Add Settings:font-name property
authorFlorian Müllner <fmuellner@gnome.org>
Mon, 8 Apr 2019 15:35:06 +0000 (17:35 +0200)
committerFlorian Müllner <florian.muellner@gmail.com>
Fri, 8 Nov 2019 23:48:42 +0000 (23:48 +0000)
commitcd84fa824f3f5e401365eead0f65cbf45a14682a
treec919700ae943918dfa6e9452ca92d252cf72def4tree | snapshot
parent40bd65c9ba929836e88e66c959d6f80a8383f01fcommit | diff
st: Add Settings:font-name property

This maps to the corresponding interface setting and will be used to
replace the hard-coded font in the CSS.

https://bugzilla.gnome.org/show_bug.cgi?id=688288
src/st/st-settings.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.